Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
481	XPath Typing Using a Modal Logic with Converse for Finite Trees Pierre Genev`es Nabil Laya¨ıda Alan Schmitt Add to Reading List Source URL: wam.inrialpes.fr Language: English - Date: 2006-12-17 11:49:32 Mathematical logic XML Formal languages Metalogic Interpretation First-order logic Well-formed formula Symbol XPath Logic Mathematics Model theory
482	Introduction Introduction M.-P. B´ eal et. al. (IGM et al.) Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2008-10-27 12:41:40 Combinatorics Coding theory Discrete mathematics Combinatorics on words Models of computation Code Prefix code Alphabet Variable-length code Formal languages Automata theory Mathematics
483	A Partition-Based Method for String Similarity Joins with Edit-Distance Constraints GUOLIANG LI, DONG DENG, and JIANHUA FENG, Tsinghua University As an essential operation in data cleaning, the similarity join has attrac Add to Reading List Source URL: dbgroup.cs.tsinghua.edu.cn Language: English - Date: 2013-12-23 20:29:32 Substring Mathematics Linguistics Combinatorics String Formal languages
484	A Framework for RAD Spirit Programs = Algorithms + Data Structures Joel de Guzman () Hartmut Kaiser () Add to Reading List Source URL: boost-spirit.com Language: English - Date: 2010-11-03 20:38:48 Compiler construction Formal languages Parsing Compiling tools Recursive descent parser Top-down parsing Compiler-compiler Lexical analysis Formal grammar Programming language implementation Software Computing
485	June 21, 1967 CGTM No. 16 Dan Ross BOX SYNTAX A 2-DIMENSIONAL METALANGUAGE Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2011-07-15 16:33:00 Computing Backus–Naur Form Formal grammar IMP programming language Syntax Semantics Terminal and nonterminal symbols Regular expression Ficus Formal languages Software engineering Computer programming
486	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.uib.no Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
487	Dexter Campbell Kozen May 2, 2015 Office Computer Science Department 436 Gates Hall Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2015-05-26 17:53:30 Formal languages Algebraic logic Algebraic structures Dexter Kozen Kleene algebra Action algebra Rohit Jivanlal Parikh Közen Workshop on Logic Language Information and Computation Mathematics Logic Mathematical logic
488	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:57 Formal languages Natural language processing Diagrams Recursive transition network Parse tree Formal grammar Language Adverb Preposition and postposition Linguistics Syntax Parts of speech
489	FACILE: DESCRIPTION OF THE NE SYSTEM USED FOR MUC-7 William J Black, Fabio Rinaldi and David Mowatt Department of Language Engineering UMIST PO Box 88, Sackville Street Manchester M60 1QD, United Kingdom Add to Reading List Source URL: www.itl.nist.gov Language: English - Date: 2001-01-11 13:44:49 Compiler construction Regular expressions Formal languages Parsing Natural language processing Lexical analysis Information extraction Pattern matching C preprocessor Computing Programming language implementation Software engineering
490	An Analyzer for ANSI C D. J. Banta D. L. Carroll S. A. Maurich J. R. Roccatagliata P. A. Shanahan Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2008-08-30 22:08:42 Procedural programming languages Compiler construction Source code Programming language implementation Cross-platform software Parsing Syntax C Formal language Software engineering Computing Computer programming

UPDATE